Optimal. Leaf size=86 \[ 2 a^2 A \sqrt {a+b x}+\frac {2}{3} a A (a+b x)^{3/2}+\frac {2}{5} A (a+b x)^{5/2}+\frac {2 B (a+b x)^{7/2}}{7 b}-2 a^{5/2} A \tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a}}\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.02, antiderivative size = 86, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 4, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {81, 52, 65, 214}
\begin {gather*} -2 a^{5/2} A \tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a}}\right )+2 a^2 A \sqrt {a+b x}+\frac {2}{5} A (a+b x)^{5/2}+\frac {2}{3} a A (a+b x)^{3/2}+\frac {2 B (a+b x)^{7/2}}{7 b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 52
Rule 65
Rule 81
Rule 214
Rubi steps
\begin {align*} \int \frac {(a+b x)^{5/2} (A+B x)}{x} \, dx &=\frac {2 B (a+b x)^{7/2}}{7 b}+A \int \frac {(a+b x)^{5/2}}{x} \, dx\\ &=\frac {2}{5} A (a+b x)^{5/2}+\frac {2 B (a+b x)^{7/2}}{7 b}+(a A) \int \frac {(a+b x)^{3/2}}{x} \, dx\\ &=\frac {2}{3} a A (a+b x)^{3/2}+\frac {2}{5} A (a+b x)^{5/2}+\frac {2 B (a+b x)^{7/2}}{7 b}+\left (a^2 A\right ) \int \frac {\sqrt {a+b x}}{x} \, dx\\ &=2 a^2 A \sqrt {a+b x}+\frac {2}{3} a A (a+b x)^{3/2}+\frac {2}{5} A (a+b x)^{5/2}+\frac {2 B (a+b x)^{7/2}}{7 b}+\left (a^3 A\right ) \int \frac {1}{x \sqrt {a+b x}} \, dx\\ &=2 a^2 A \sqrt {a+b x}+\frac {2}{3} a A (a+b x)^{3/2}+\frac {2}{5} A (a+b x)^{5/2}+\frac {2 B (a+b x)^{7/2}}{7 b}+\frac {\left (2 a^3 A\right ) \text {Subst}\left (\int \frac {1}{-\frac {a}{b}+\frac {x^2}{b}} \, dx,x,\sqrt {a+b x}\right )}{b}\\ &=2 a^2 A \sqrt {a+b x}+\frac {2}{3} a A (a+b x)^{3/2}+\frac {2}{5} A (a+b x)^{5/2}+\frac {2 B (a+b x)^{7/2}}{7 b}-2 a^{5/2} A \tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a}}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.10, size = 88, normalized size = 1.02 \begin {gather*} \frac {2 \left (105 a^2 A b \sqrt {a+b x}+35 a A b (a+b x)^{3/2}+21 A b (a+b x)^{5/2}+15 B (a+b x)^{7/2}\right )}{105 b}-2 a^{5/2} A \tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.07, size = 72, normalized size = 0.84
method | result | size |
derivativedivides | \(\frac {\frac {2 B \left (b x +a \right )^{\frac {7}{2}}}{7}+\frac {2 A b \left (b x +a \right )^{\frac {5}{2}}}{5}+\frac {2 A b a \left (b x +a \right )^{\frac {3}{2}}}{3}+2 A \,a^{2} b \sqrt {b x +a}-2 A \,a^{\frac {5}{2}} b \arctanh \left (\frac {\sqrt {b x +a}}{\sqrt {a}}\right )}{b}\) | \(72\) |
default | \(\frac {\frac {2 B \left (b x +a \right )^{\frac {7}{2}}}{7}+\frac {2 A b \left (b x +a \right )^{\frac {5}{2}}}{5}+\frac {2 A b a \left (b x +a \right )^{\frac {3}{2}}}{3}+2 A \,a^{2} b \sqrt {b x +a}-2 A \,a^{\frac {5}{2}} b \arctanh \left (\frac {\sqrt {b x +a}}{\sqrt {a}}\right )}{b}\) | \(72\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.48, size = 87, normalized size = 1.01 \begin {gather*} A a^{\frac {5}{2}} \log \left (\frac {\sqrt {b x + a} - \sqrt {a}}{\sqrt {b x + a} + \sqrt {a}}\right ) + \frac {2 \, {\left (15 \, {\left (b x + a\right )}^{\frac {7}{2}} B + 21 \, {\left (b x + a\right )}^{\frac {5}{2}} A b + 35 \, {\left (b x + a\right )}^{\frac {3}{2}} A a b + 105 \, \sqrt {b x + a} A a^{2} b\right )}}{105 \, b} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 1.23, size = 208, normalized size = 2.42 \begin {gather*} \left [\frac {105 \, A a^{\frac {5}{2}} b \log \left (\frac {b x - 2 \, \sqrt {b x + a} \sqrt {a} + 2 \, a}{x}\right ) + 2 \, {\left (15 \, B b^{3} x^{3} + 15 \, B a^{3} + 161 \, A a^{2} b + 3 \, {\left (15 \, B a b^{2} + 7 \, A b^{3}\right )} x^{2} + {\left (45 \, B a^{2} b + 77 \, A a b^{2}\right )} x\right )} \sqrt {b x + a}}{105 \, b}, \frac {2 \, {\left (105 \, A \sqrt {-a} a^{2} b \arctan \left (\frac {\sqrt {b x + a} \sqrt {-a}}{a}\right ) + {\left (15 \, B b^{3} x^{3} + 15 \, B a^{3} + 161 \, A a^{2} b + 3 \, {\left (15 \, B a b^{2} + 7 \, A b^{3}\right )} x^{2} + {\left (45 \, B a^{2} b + 77 \, A a b^{2}\right )} x\right )} \sqrt {b x + a}\right )}}{105 \, b}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 21.68, size = 88, normalized size = 1.02 \begin {gather*} \frac {2 A a^{3} \operatorname {atan}{\left (\frac {\sqrt {a + b x}}{\sqrt {- a}} \right )}}{\sqrt {- a}} + 2 A a^{2} \sqrt {a + b x} + \frac {2 A a \left (a + b x\right )^{\frac {3}{2}}}{3} + \frac {2 A \left (a + b x\right )^{\frac {5}{2}}}{5} + \frac {2 B \left (a + b x\right )^{\frac {7}{2}}}{7 b} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 1.35, size = 88, normalized size = 1.02 \begin {gather*} \frac {2 \, A a^{3} \arctan \left (\frac {\sqrt {b x + a}}{\sqrt {-a}}\right )}{\sqrt {-a}} + \frac {2 \, {\left (15 \, {\left (b x + a\right )}^{\frac {7}{2}} B b^{6} + 21 \, {\left (b x + a\right )}^{\frac {5}{2}} A b^{7} + 35 \, {\left (b x + a\right )}^{\frac {3}{2}} A a b^{7} + 105 \, \sqrt {b x + a} A a^{2} b^{7}\right )}}{105 \, b^{7}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.06, size = 128, normalized size = 1.49 \begin {gather*} \left (\frac {2\,A\,b-2\,B\,a}{5\,b}+\frac {2\,B\,a}{5\,b}\right )\,{\left (a+b\,x\right )}^{5/2}+a^2\,\left (\frac {2\,A\,b-2\,B\,a}{b}+\frac {2\,B\,a}{b}\right )\,\sqrt {a+b\,x}+\frac {2\,B\,{\left (a+b\,x\right )}^{7/2}}{7\,b}+\frac {a\,\left (\frac {2\,A\,b-2\,B\,a}{b}+\frac {2\,B\,a}{b}\right )\,{\left (a+b\,x\right )}^{3/2}}{3}+A\,a^{5/2}\,\mathrm {atan}\left (\frac {\sqrt {a+b\,x}\,1{}\mathrm {i}}{\sqrt {a}}\right )\,2{}\mathrm {i} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________